GtkSettings: Add a private getter for the source
authorMatthias Clasen <mclasen@redhat.com>
Fri, 19 Sep 2014 12:41:06 +0000 (08:41 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 22 Sep 2014 23:40:49 +0000 (19:40 -0400)
commit18931cf0dbd52f1c96d6f89011aaf7b613e66267
tree3e7e97cb67fcd959d9aeacdd55c9171eb92123a4
parent5c95a2fc12db6a67192f5e4679cb1719cbb64e93
GtkSettings: Add a private getter for the source

Settings have a little more metadata than plain properties. They
can come from different sources. Make this information available
so we can show it in the inspector.

https://bugzilla.gnome.org/show_bug.cgi?id=736971
gtk/gtksettings.c
gtk/gtksettingsprivate.h